A Slicing-based approach to enhance Petri Net Reachability Analysis

2000년 5월 1일 · 약 1분

이우진

담당교수

S.D. Cha

H.N. Kim

Y.R. Kwon

Journal of Research and Practice in Information Technology, Vol. 32, No. 2, pp. 131-143, May 2000.